bitkeeper revision 1.1582 (429838acDJZ12SHZ0oEfuJwBD4FoqQ)
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 28 May 2005 09:23:56 +0000 (09:23 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 28 May 2005 09:23:56 +0000 (09:23 +0000)
commit7d103c7505267e0a89f1bf8be8e3cd9c49afaf7e
tree005a0f83d95bbb9d9b67284a8b7001f057bac916
parent88fa6c0b2479da4585df7ea41138d4a34cfda500
bitkeeper revision 1.1582 (429838acDJZ12SHZ0oEfuJwBD4FoqQ)

Make cpuid() less fussy about the type of its pointer parameters.
This fixes the build with gcc4.
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/include/asm-x86/processor.h